Towards a Formal Foundation of Software Reuse

ثبت نشده
چکیده

2011 Acknowledgements I would like to thank all people which have made this work possible. I express my sincere gratitude to my supervisor, Professor Militon Frenţiu, for the chance of pursuing a PhD in Software Engineering, as well as for his support, guidance and trust throughout the writing of this thesis. I am deeply grateful to Dr. Dan Chiorean for the research opportunities offered, for all the knowledge he has shared with me, as well as for the insightful debates, constructive criticism, and continuous help throughout my doctoral study. Last, but not least, I warmly thank my family, for all the emotional support they have provided me with. The financial assistance received is also gratefully acknowledged.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formalizing and Automating Component Reuse

Using existing components to construct software systems has significant potential to improving software productivity and quality. A key problem in software component reuse is the selection of appropriate components for satisfying a given requirement. In this paper, we define a component interface generality relation that provides a foundation for component selection. This generality relation, r...

متن کامل

Towards Reuse with “Feature-Oriented Event-B”

Event-B [19] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specif...

متن کامل

Aspects + GAMMA = AspectGAMMA A Formal Framework for Aspect-Oriented Speci cation

This paper describes an extension to the GAMMA formalism, which we name AspectGAMMA, and we show how non-computational aspects can be expressed separately from the computation in this framework. Examples of such aspects include real-time constraints, location/distribution aspects, behavioral requirement aspects, fault-tolerance aspects, power requirement aspects, and many others. The idea is to...

متن کامل

Aspects + GAMMA = AspectGAMMA A Formal Framework for Aspect-Oriented Specification

This paper describes an extension to the GAMMA formalism, which we name AspectGAMMA, and we show how non-computational aspects can be expressed separately from the computation in this framework. Examples of such aspects include real-time constraints, location/ distribution, behavioral requirements, fault-tolerance, power requirements, and many other aspects. The idea is to abstract the emerging...

متن کامل

A Graph-Based Algorithm for Automated Refactoring

Software reuse is advocated for increasing the productivity of software engineers and improving the quality of software. As software-reuse practices are institutionalized, there must be formal techniques and associated methodologies for software engineers to accurately assess and increase the potential and actual reuse of software artifacts. The goal must be to support domain-and-organization r...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011